projects / julia.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7477b25) | patch
Prevent the build system from downloading anything while building docs.
authorDebian Julia Team <pkg-julia-devel@lists.alioth.debian.org>
Tue, 31 Dec 2019 08:30:40 +0000 (08:30 +0000)
committerMo Zhou <lumin@debian.org>
Tue, 31 Dec 2019 08:30:40 +0000 (08:30 +0000)
commitc86029881dc5d27481f51f526e5c1137ecd5a022
tree10dda4986ebdf7975bbcc4547ed5dd5a691a2094tree | snapshot
parent7477b254c1c1240e4891b787cd494d25c615e960commit | diff
Prevent the build system from downloading anything while building docs.

Forwarded: no need.
Last-Update: 2018-07-03

Gbp-Pq: Name doc-make.patch
doc/Makefile diff | blob | history
doc/Project.toml diff | blob | history
doc/make.jl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.